$\forall$$R$:Realizer. R{-}Feasible($R$) $\Rightarrow$ ([[$R$]] $\in$ Dsys)